Natural Quantum Operational Semantics with Predicates

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Natural Quantum Operational Semantics with Predicates

A general definition of a quantum predicate and quantum labelled transition systems for finite quantum computation systems is presented. The notion of a quantum predicate as a positive operator-valued measure is developed. The main results of this paper are a theorem about the existence of generalised predicates for quantum programs defined as completely positive maps and a theorem about the ex...

متن کامل

A congruence theorem for structured operational semantics with predicates

We proposed a syntactical format the path format for structured operational semantics in which predicates may occur We proved that strong bisim ulation is a congruence for all the operators that can be de ned within the path for mat To show that this format is useful we provided many examples that we took from the literature about CCS CSP and ACP they do satisfy the path format but no formats p...

متن کامل

A congruence theorem for structured operational semantics with predicates

We proposed a syntactical format the path format for structured operational semantics in which predicates may occur We proved that strong bisim ulation is a congruence for all the operators that can be de ned within the path for mat To show that this format is useful we provided many examples that we took from the literature about CCS CSP and ACP they do satisfy the path format but no formats p...

متن کامل

A Congruence Theorem for Structured Operational Semantics with Predicates

We proposed a syntactical format, the path format, for structured operational semantics in which predicates may occur. We proved that strong bisim-ulation is a congruence for all the operators that can be deened within the path format. To show that this format is useful we provided many examples that we took from the literature about CCS, CSP, and ACP; they do satisfy the path format but no for...

متن کامل

A Congruence Theorem for Structured Operational Semantics with Predicates and Negative Premises

We proposed a syntactic format, the panth format, for structured operational semantics in which besides ordinary transitions also predicates, negated predicates, and negat.ed transitions may occur such that if the rules are stratifiable strong bisimulation equivalence is a cOllgruence for all the operators that can be defined within the panik format.. To show that this format is useful we took ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: International Journal of Applied Mathematics and Computer Science

سال: 2008

ISSN: 1641-876X

DOI: 10.2478/v10006-008-0031-x